Comparison of first order predicate logic, fuzzy logic and non-monotonic logic as knowledge representation methodology

The aim of this paper is to compare first order predicate logic, fuzzy logic and non-monotonic logic as knowledge representation methods. First, we define five properties of knowledge; conceptualization, transfer, modification, integration and decomposition. We also evaluate first order predicate logic, fuzzy logic and non-monotonic logic for the above properties, in the view of accuracy, complexity, and completeness. We then prove that the complexities of the three methods are NP-complete. We use this information to design a heuristic algorithm tested on probabilistic input to evaluate accuracy and completeness. With the results, we compare weaknesses and strengths of each method. q 2004 Elsevier Ltd. All rights reserved.